WEIRICH, STEPHANIE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A specification for dependent types in Haskell

Weirich, Stephanie, Voizard, Antoine, de Amorim, Pedro Henrique Azevedo, Eisenberg, Richard A.

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 410 KB

english, 2017

2

A Design for Type-Directed Programming in Java

Stephanie Weirich, Liang Huang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 317 KB

english, 2005

3

Engineering formal metatheory

Aydemir, Brian, Charguéraud, Arthur, Pierce, Benjamin C., Pollack, Randy, Weirich, Stephanie

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

4

Parametricity, type equality, and higher-order polymorphism

VYTINIOTIS, DIMITRIOS, WEIRICH, STEPHANIE

Journal:

Journal of Functional Programming

Year:

2010

Language:

english

File:

PDF, 575 KB

english, 2010

5

Dependently typed programming with singletons

Eisenberg, Richard A., Weirich, Stephanie

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 625 KB

english, 2013

6

Safe zero-cost coercions for Haskell

BREITNER, JOACHIM, EISENBERG, RICHARD A., PEYTON JONES, SIMON, WEIRICH, STEPHANIE

Journal:

Journal of Functional Programming

Year:

2016

Language:

english

File:

PDF, 2.02 MB

english, 2016

7

Nominal Reasoning Techniques in Coq: (Extended Abstract)

Brian Aydemir, Aaron Bohannon, Stephanie Weirich

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 220 KB

english, 2007

8

Free Theorems and Runtime Type Representations

Dimitrios Vytiniotis, Stephanie Weirich

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 349 KB

english, 2007

9

Preface

Benjamin C. Pierce, Stephanie Weirich

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 123 KB

english, 2012

10

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Generative type abstraction and type-level computation

Weirich, Stephanie, Vytiniotis, Dimitrios, Peyton Jones, Simon, Zdancewic, Steve

Year:

2011

Language:

english

File:

PDF, 569 KB

english, 2011

11

[ACM Press the eleventh ACM SIGPLAN international conference - Portland, Oregon, USA (2006.09.16-2006.09.21)] Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 - Simple unification-based type inference for GADTs

Peyton Jones, Simon, Vytiniotis, Dimitrios, Weirich, Stephanie, Washburn, Geoffrey

Year:

2006

Language:

english

File:

PDF, 241 KB

english, 2006

12

[ACM Press the 16th ACM conference - Chicago, Illinois, USA (2009.11.09-2009.11.13)] Proceedings of the 16th ACM conference on Computer and communications security - CCS '09 - Reactive noninterference

Bohannon, Aaron, Pierce, Benjamin C., Sjöberg, Vilhelm, Weirich, Stephanie, Zdancewic, Steve

Year:

2009

Language:

english

File:

PDF, 414 KB

english, 2009

13

Boxy types

Vytiniotis, Dimitrios, Weirich, Stephanie, Peyton Jones, Simon

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 259 KB

english, 2006

14

[ACM Press the 2012 symposium - Copenhagen, Denmark (2012.09.13-2012.09.13)] Proceedings of the 2012 symposium on Haskell symposium - Haskell '12 - Dependently typed programming with singletons

Eisenberg, Richard A., Weirich, Stephanie

Year:

2012

Language:

english

File:

PDF, 625 KB

english, 2012

15

Editorial

ACAR, UMUT A., CHENEY, JAMES, WEIRICH, STEPHANIE

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 44 KB

english, 2012

16

Contracts made manifest

GREENBERG, MICHAEL, PIERCE, BENJAMIN C., WEIRICH, STEPHANIE

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 462 KB

english, 2012

17

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Engineering formal metatheory

Aydemir, Brian, Charguéraud, Arthur, Pierce, Benjamin C., Pollack, Randy, Weirich, Stephanie

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

18

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Contracts made manifest

Greenberg, Michael, Pierce, Benjamin C., Weirich, Stephanie

Year:

2010

Language:

english

File:

PDF, 490 KB

english, 2010

19

Generative type abstraction and type-level computation

Weirich, Stephanie, Vytiniotis, Dimitrios, Peyton Jones, Simon, Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 569 KB

english, 2011

20

Catching bugs in the web of program invariants

Flanagan, Cormac, Flatt, Matthew, Krishnamurthi, Shriram, Weirich, Stephanie, Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 1.08 MB

english, 1996

21

[ACM Press the 2005 ACM SIGPLAN international workshop - Long Beach, California, USA (2005.01.10-2005.01.10)] Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '05 - An open and shut typecase

Vytiniotis, Dimitrios, Washburn, Geoffrey, Weirich, Stephanie

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

22

[ACM Press the 2006 ACM SIGPLAN workshop - Portland, Oregon, USA (2006.09.16-2006.09.16)] Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06 - Good advice for type-directed programming aspect-oriented programming and extensible generic functions

Washburn, Geoffrey, Weirich, Stephanie

Year:

2006

Language:

english

File:

PDF, 333 KB

english, 2006

23

FPH

Vytiniotis, Dimitrios, Weirich, Stephanie, Peyton Jones, Simon

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 276 KB

english, 2008

24

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - FPH

Vytiniotis, Dimitrios, Weirich, Stephanie, Peyton Jones, Simon

Year:

2008

Language:

english

File:

PDF, 276 KB

english, 2008

25

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Dependent types and program equivalence

Jia, Limin, Zhao, Jianzhou, Sjöberg, Vilhelm, Weirich, Stephanie

Year:

2010

Language:

english

File:

PDF, 438 KB

english, 2010

26

[ACM Press the FSE/SDP workshop - Santa Fe, New Mexico, USA (2010.11.07-2010.11.08)] Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10 - Language-based verification will change the world

Sheard, Tim, Stump, Aaron, Weirich, Stephanie

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

27

[ACM Press the 8th ACM SIGPLAN workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12 - Giving Haskell a promotion

Yorgey, Brent A., Weirich, Stephanie, Cretin, Julien, Peyton Jones, Simon, Vytiniotis, Dimitrios, Magalhães, José Pedro

Year:

2012

Language:

english

File:

PDF, 661 KB

english, 2012

28

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Combining proofs and programs in a dependently typed language

Casinghino, Chris, Sjöberg, Vilhelm, Weirich, Stephanie

Year:

2014

Language:

english

File:

PDF, 628 KB

english, 2014

29

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Closed type families with overlapping equations

Eisenberg, Richard A., Vytiniotis, Dimitrios, Peyton Jones, Simon, Weirich, Stephanie

Year:

2014

Language:

english

File:

PDF, 660 KB

english, 2014

30

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Safe zero-cost coercions for Haskell

Breitner, Joachim, Eisenberg, Richard A., Peyton Jones, Simon, Weirich, Stephanie

Year:

2014

Language:

english

File:

PDF, 638 KB

english, 2014

31

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Intensional polymorphism in type-erasure semantics

Crary, Karl, Weirich, Stephanie, Morrisett, Greg

Year:

1998

Language:

english

File:

PDF, 1.21 MB

english, 1998

32

[ACM Press the eighth ACM SIGPLAN international conference - Uppsala, Sweden (2003.08.25-2003.08.29)] Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 - Boxes go bananas

Washburn, Geoffrey, Weirich, Stephanie

Year:

2003

Language:

english

File:

PDF, 177 KB

english, 2003

33

AspectML

Dantas, Daniel S., Walker, David, Washburn, Geoffrey, Weirich, Stephanie

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 1.39 MB

english, 2008

34

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - System FC with explicit kind equality

Weirich, Stephanie, Hsu, Justin, Eisenberg, Richard A.

Year:

2013

Language:

english

File:

PDF, 629 KB

english, 2013

35

[ACM Press the ACM SIGPLAN 1996 conference - Philadelphia, Pennsylvania, United States (1996.05.21-1996.05.24)] Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation - PLDI '96 - Catching bugs in the web of program invariants

Flanagan, Cormac, Flatt, Matthew, Krishnamurthi, Shriram, Weirich, Stephanie, Felleisen, Matthias

Year:

1996

Language:

english

File:

PDF, 1.08 MB

english, 1996

36

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Depending on types

Weirich, Stephanie

Year:

2014

Language:

english

File:

PDF, 358 KB

english, 2014

37

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Programming up to Congruence

Sjöberg, Vilhelm, Weirich, Stephanie

Year:

2015

Language:

english

File:

PDF, 886 KB

english, 2015

38

[ACM Press the 2006 ACM SIGPLAN workshop - Portland, Oregon, USA (2006.09.17-2006.09.17)] Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06 - RepLib

Weirich, Stephanie

Year:

2006

Language:

english

File:

PDF, 248 KB

english, 2006

39

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Binders unbound

Weirich, Stephanie, Yorgey, Brent A., Sheard, Tim

Year:

2011

Language:

english

File:

PDF, 626 KB

english, 2011

40

[ACM Press the 2nd ACM international conference - Philadelphia, Pennsylvania, USA (2013.04.09-2013.04.11)] Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 - Towards synthesis of platform-aware attack-resilient control systems

Pajic, Miroslav, Weirich, Stephanie, Lee, Insup, Bezzo, Nicola, Weimer, James, Alur, Rajeev, Mangharam, Rahul, Michael, Nathan, Pappas, George J., Sokolsky, Oleg, Tabuada, Paulo

Year:

2013

Language:

english

File:

PDF, 559 KB

english, 2013

41

Dependent types and program equivalence

Jia, Limin, Zhao, Jianzhou, Sjöberg, Vilhelm, Weirich, Stephanie

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 438 KB

english, 2010

42

Practical type inference for arbitrary-rank types

JONES, SIMON PEYTON, VYTINIOTIS, DIMITRIOS, WEIRICH, STEPHANIE, SHIELDS, MARK

Journal:

Journal of Functional Programming

Year:

2007

Language:

english

File:

PDF, 448 KB

english, 2007

43

Intensional polymorphism in type-erasure semantics

CRARY, KARL, WEIRICH, STEPHANIE, MORRISETT, GREG

Journal:

Journal of Functional Programming

Year:

2002

Language:

english

File:

PDF, 393 KB

english, 2002

44

FUNCTIONAL PEARL Type-safe cast

WEIRICH, STEPHANIE

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 124 KB

english, 2004

45

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism

WASHBURN, GEOFFREY, WEIRICH, STEPHANIE

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 367 KB

english, 2008

46

Type-safe run-time polytypic programming

WEIRICH, STEPHANIE

Journal:

Journal of Functional Programming

Year:

2006

Language:

english

File:

PDF, 222 KB

english, 2006

47

Programming up to Congruence

Sjöberg, Vilhelm, Weirich, Stephanie

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 886 KB

english, 2015

48

Binders unbound

Weirich, Stephanie, Yorgey, Brent A., Sheard, Tim

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 626 KB

english, 2011

49

Intensional polymorphism in type-erasure semantics

Crary, Karl, Weirich, Stephanie, Morrisett, Greg

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.21 MB

english, 1999

50

Boxes go bananas

Washburn, Geoffrey, Weirich, Stephanie

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 177 KB

english, 2003